$\forall$$a$:$\mathbb{N}^{+}$. ($a$ rem $a$) = 0